(module
  (import "env" "assert_eq_i32" (func $assert_eq_i32 (param i32 i32)))
  (start $main)
  (func $main (export "main")
    (call $block)
  )
  (func $block
    (i32.const 1) (i32.const 2)
    (block (param i32 i32) (result i32)
      (i32.add) (i32.const 3)
      (block (param i32 i32) (result i32)
        (i32.add) (i32.const 4)
        (block (param i32 i32) (result i32)
          (i32.add)
        )
      )
    )
    (i32.const 10)
    (call $assert_eq_i32)
  )
)